Gapping as Like-Category Coordination

We propose a version of Type-Logical Categorial Grammar (TLCG) which combines the insights of standard TLCG (Morrill 1994, Moortgat 1997) in which directionality is handled in terms of forward and backward slashes, and more recent approaches in the CG literature which separate directionality-related reasoning from syntactic combinatorics by means of λ-binding in the phonological component (Oehrle 1994, de Groote 2001, Muskens 2003). The proposed calculus recognizes both the directionality-sensitive modes of implication (/ and \) of the former and the directionality-insensitive mode of implication tied to phonological λ-binding in the latter (which we notate here as |). Empirical support for the proposed system comes from the fact that it enables a straightforward treatment of Gapping, a phenomenon that has turned out to be extremely problematic in the syntactic literature including CG-based approaches.